$\forall$$a$, $b$:$\mathbb{Z}$, $q$:$\mathbb{Q}$. $\Sigma$$a$ $\leq$ $i$ $<$ $b$. $q$ = (if $a$ $\leq$z $b$ then $b$ {-} $a$ else 0 fi  $\ast$ $q$) $\in$ $\mathbb{Q}$